$X$ $\cap$ $Y$ = 0 $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:E. $\neg$(($\uparrow$($e$ $\in_{b}$ $X$)) \& ($\uparrow$($e$ $\in_{b}$ $Y$)))